inference engine

Redeneermechanisme, onderdeel van een kennissysteem dat redeneert.